@article{ saltzer84endtoend,
    author = "Jerome H. Saltzer and David P. Reed and David D. Clark",
    title = "End-To-End Arguments in System Design",
    journal = "{ACM} Transactions on Computer Systems",
    volume = "2",
    number = "4",
    pages = "277-288",
    year = "1984",
    month = nov,
    url = "citeseer.nj.nec.com/saltzer84endtoend.html" }

@manual{ l4X2refdoc,
    title = "L4 eXperimental Kernel Reference Manual Version X.2",
    author = "L4Ka Team",
    organization = {Universit\"at Karlsruhe} }

@manual{ ppc32,
    title = "PowerPC Microprocessor Family: The Programming Environments for 32-Bit Microprocessors",
    organization = "IBM" }

@manual{ ofintmap,
    title = "Open Firmware Recommended Practice: Interrupt Mapping Version 0.9",
    organization = "Open Firmware Working Group",
    note = "Unapproved DRAFT" }

@manual{ ppcsvr4,
    title = "System V Application Binary Interface PowerPC Processor Supplement",
    author = "Steve Zucker and Kari Karhi",
    organization = "SunSoft and IBM",
    month = "September",
    year = "1995" }

@inproceedings{ liedtke01lazy,
    author = "J. Liedtke and H. Wenske",
    title = "Lazy Process Switching",
    pages = "15--20",
    year = "2001",
    booktitle = "The 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII)",
    url = "citeseer.nj.nec.com/liedtke01lazy.html" }

